1. Logical foundations of computer science--Tver '92
پدیدآورنده : A. Nerode, M. Taitslin )eds.(.
موضوع : Computers -- Congresses,Electronic data processing -- Congresses,Logic, Symbolic and mathematical -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
2. Logical foundations of computer science- Tver'92: second International Symposium: Tver, Russia, Julay 20-24, 1992: proceedigns
پدیدآورنده : A. Nerode, M. Taitslin )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
620
3. Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
پدیدآورنده : A. Nerode, M. Taitslin )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
620
